workspacesViews: Update new padding rules for workspacesOnlyOnPrimary

Tim Lunn fixed this for the !workspacesOnlyOnPrimary case, but not the
other.

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index e99fe3dc381bfc0ebb4797671f6e47e6701c6a64..3528c9ad62ff88f8f4c745d518ea54e45f83f497 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -128,8 +128,11 @@ const WorkspacesView = new Lang.Class({
                 continue;
 
             let ws = new Workspace.Workspace(null, i);
-            ws.setGeometry(monitors[i].x, monitors[i].y,
-                           monitors[i].width, monitors[i].height);
+            let overviewSpacing = Main.overview._spacing;
+            ws.setGeometry(monitors[i].x + overviewSpacing/2,
+                           monitors[i].y + overviewSpacing/2,
+                           monitors[i].width - overviewSpacing,
+                           monitors[i].height - overviewSpacing);
             global.overlay_group.add_actor(ws.actor);
             this._extraWorkspaces.push(ws);
         }